Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies Silvio Ghilardi1 , Enrica Nicolini2 , Silvio Ranise13 , and Daniele Zucchelli13 1 2

Source URL: www.loria.fr

2014 Conference on Decision and Game Theory for Security (GameSec), Los Angeles, CA, USA General Chair: Radha Poovendran, Univ. of Washington, WA, USA TPC Chair:

Source URL: www.gamesec-conf.org

• Security
• Academia
• Tamer Baar
• Computer security
• Game theory
• Privacy
• Ambient intelligence
• Resilient control systems

Policy Template Cover Page This section is to be completed by the sponsor of the proposed policy for use by the Policy Administrator and by the Chancellor’s Executive Team to aid in their evaluation of the proposed pol

Source URL: supolicies.syr.edu

• Decision theory
• Government
• Policy
• Governance in higher education
• Policy analysis
• Collection Management Policy

The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Mathematical logic
• EACSL
• Entscheidungsproblem
• Complexity
• Computational complexity theory
• Algorithm
• Decision problem
• Dexter Kozen

Behavioural Theory and Modelling Travel Decision Processes in Leisure Tourism Caroline Sturm, Istituto di ricerche economiche (IRE) Conference paper STRC 2014

Source URL: www.strc.ch

• Decision theory
• Choice modelling
• Free will
• Autonomy
• Motivation
• Choice
• Discrete choice
• Decision-making
• Tourism
• Trip distribution

January 12, 2015 U.S. House of Representatives Washington, DCRe: Oppose H.R. 185, legislation that cripples public protections Dear Representative, The League of Conservation Voters (LCV) works to turn environment

Source URL: www.lcv.org

• United States administrative law
• Administrative law
• Decision theory
• Rulemaking
• League of Conservation Voters

An application of the Constrained Multinomial Logit (CMNL) for modelling dominated choice alternatives Francisco Martínez, University of Chile Ennio Cascetta, Francesca Pagliara, University of Naples Michel Bierlaire, T

Source URL: www.strc.ch

• Regression analysis
• Statistical models
• Decision theory
• Choice modelling
• Transportation planning
• Logit
• Multinomial logistic regression
• Logistic regression
• Discrete choice
• Utility
• Multiple-criteria decision analysis
• Trip distribution

STATE OF CALIFORNIA – GOVERNMENT OPERATIONS AGENCY GOVERNOR EDMUND G. BROWN JR. BUILDING STANDARDS COMMISSION 2525 Natomas Park Drive, Suite 130

Source URL: www.documents.dgs.ca.gov

• Building code
• United States administrative law
• Administrative law
• Decision theory
• Rulemaking
• California Building Standards Code
• International Building Code
• Repeal

Accounting for similarities in destination choice modelling: A concept Nadine Schüssler Kay W. Axhausen STRC 2009

Source URL: www.strc.ch

• Choice modelling
• Transportation planning
• Statistical models
• Decision theory
• Discrete choice
• Mode choice
• Mixed logit
• Choice set
• Trip distribution
• Scientific modelling
• Choice
• Decision-making

‘Glocal’ Robustness Analysis and Model Discrimination for Circadian Oscillators Marc Hafner1,2,3, Heinz Koeppl1,4, Martin Hasler1, Andreas Wagner2,3,5,6* 1 School of Computer and Communication Sciences, Ecole Polytec

Source URL: www.ieu.uzh.ch

• Circadian rhythm
• Biology
• Academia
• KaiA
• KaiC
• Sensitivity analysis
• Circadian clock
• Robustness
• Control theory
• Info-gap decision theory